Nuprl Definition : es-next-assign
11,40
postcript
pdf
next event in [
e
;
bound
] after which
x
=
v
== (TERMOF{
next-var-value
:ObjectId, 1:l, i:l}(
es
,
T
,
eq
,
v
,
x
,
e
,
bound
)).1
latex
clarification:
es-next-assign{i:l}
es-next-assign
(
es
;
T
;
eq
;
v
;
x
;
e
;
bound
)
== (TERMOF{
next-var-value
:ObjectId, 1:l, i:l}(
es
,
T
,
eq
,
v
,
x
,
e
,
bound
)).1
latex
Definitions
next-var-value
,
f
(
a
)
,
t
.1
FDL editor aliases
es-next-assign
origin